Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
251	Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-01-10 16:47:22 Models of computation Computer science Software engineering Nondeterministic finite automaton Deterministic finite automaton Regular language Symbol String Regular expression Automata theory Formal languages Theoretical computer science
252	B1.5 (A. Ustinov / G. Weiss / M. Siegel) [B1.5:1] ‡ S. Poletto, F. Chiarello, M.G. Castellano, J. Lisenfeld, A. Lukashenko, C. Cosmelli, G. Torrioli, P. Carelli, and A.V. Ustinov, Coherent oscillations in a superconduc Add to Reading List Source URL: www.cfn.kit.edu Language: English - Date: 2015-04-21 02:47:37 Quantum mechanics Theoretical computer science Quantum electronics Models of computation Sensors Flux qubit Josephson effect Quantum computer Qubit Physics Quantum information science Superconductivity
253	Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees Tarik Hadzic and Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.simoni Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-09-09 05:54:53 Boolean algebra Graphical models Materials science Reliability engineering Survival analysis Binary decision diagram Connectivity Reliability Directed acyclic graph Statistics Systems engineering Systems science
254	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
255	Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-02-08 14:25:07 Computer science Theory of computation Alan Turing Models of computation Computable function Church–Turing thesis Computability Computational complexity theory Computable number Computability theory Theoretical computer science Mathematics
256	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
257	Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-03-22 02:52:44 Compiler optimizations Software Compiler construction Formal methods Models of computation Compiler Dataflow Constant folding Automated theorem proving Programming language implementation Computing Software engineering
258	RICE UNIVERSITY B¨ uchi Containment and Size-Change Termination by Seth Fogarty A THESIS SUBMITTED Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-10-21 15:29:28 Automata theory Models of computation Finite-state machine
259	Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-06-22 08:52:31 Mathematics Formal languages Computer science Finite state transducer Finite-state machine Nondeterministic finite automaton Petri net FO Variable Automata theory Models of computation Theoretical computer science
260	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing

UPDATE